logical proofs中文什么意思

例句与用法

1. it does not amount to a logical proof of the statement .
   它还不是这个论题的逻辑证明。
2. finally, we carried out the theoretically logical proof of the security of the revised protocol, using the formal logic analysis method
   最后，作者运用形式逻辑分析的方法对修改后协议的安全性进行了理论上的逻辑证明。